Ontological perspectives in higher education and particularly in professional education and development have focused attention on the question of the learner’s being and becoming rather than on the epistemological concern of what and how they know. This study considers the formation of the professional self in the light of the requirements for professional practice. It raises the question of agency in relation to this formational process and considers the implications of the autonomy paradox which arises from the simultaneous influence of (...) the sovereign self and the external authority of the profession on the formation of the professional self. This study considers a structural perspective on both of these matters and concludes with implications for professional education and development derived from constructive developmental theory and the notion of subject–object transformation. (shrink)

Despite becoming one of the most active research areas in organizational behavior, the field of organizational justice has stayed at a safe distance from moral questions of values, as well as from critical questions regarding the implications of fairness considerations on the status quo of power relations in today’s organizations. We argue that both organizational justice research and the managerial practices it informs lack reflexivity. This manifests itself in two possible hypocrisies of fairness. Managers may apply organizational justice knowledge but (...) fail to increase the actual levels of fairness in employment relations. Researchers, on the other hand, may claim to promote fairness through their work while actually providing managers with tools that enable or even encourage them to feed the hypocrisy of fairness identified above. As␣part of our argument, we identify three types of mechanisms managers may use to influence and manage the formation of fairness perceptions. We consider how the exercise of power is related to the potential application of organizational justice knowledge across individual, interpersonal and social levels. Our approach makes power dynamics and moral implications salient, and questions the purely subjectivist view of justice researchers that deliberately discards normative aspects. The questions opened up by considering alternative mechanisms for creating fairness perceptions have led us to formulate a research agenda for organizational justice research that takes multiple stakeholder interests, power dynamics and ethical implications into account. We believe that the fields of organizational justice and normative justice can benefit from combined research. (shrink)

As automating technologies are increasingly integrated into workplaces, one concern is that many of the human workers who remain will be relegated to more dull and less positively impactful work. This paper considers two rival theories of meaningful work that might be used to evaluate particular implementations of automation. The first is achievementism, which says that work that culminates in achievements to workers’ credit is especially meaningful; the other is the practice view, which says that work that takes the form (...) of an open-ended practice is especially meaningful. Of the two, the practice view is the better tool for assessing the future of meaningful work, because achievementism is explanatorily inadequate in two ways. Moreover, the practice view can explain why the most meaningful forms of work cannot be automated. A procedure can only be automated as long as the steps are defined, whereas, in such work, which steps to take is indefinitely open to redefinition. This reveals the real threat to meaningful work to be a political-economic one. The relevant ethical questions there have to do with how much creative control workers retain in crafting their own jobs, when those jobs involve meaningful work in collaboration with machines; and how to liberate workers from jobs that do not involve meaningful work, which should be left to machines anyway. (shrink)

There exist important deductive systems, such as the non-normal modal logics, that are not proper subjects of classical algebraic logic in the sense that their metatheory cannot be reduced to the equational metatheory of any particular class of algebras. Nevertheless, most of these systems are amenable to the methods of universal algebra when applied to the matrix models of the system. In the present paper we consider a wide class of deductive systems of this kind called protoalgebraic logics. These include (...) almost all (non-pathological) systems of prepositional logic that have occurred in the literature. The relationship between the metatheory of a protoalgebraic logic and its matrix models is studied. The following results are obtained for any finite matrix model U of a filter-distributive protoalgebraic logic : (I) The extension U of is finitely axiomatized (provided has only finitely many inference rules); (II) U has only finitely many extensions. (shrink)

We investigate both iteration hypotheses and extender models at the level of one supercompact cardinal. The HOD Conjecture is introduced and shown to be a key conjecture both for the Inner Model Program and for understanding the limits of the large cardinal hierarchy. We show that if the HOD Conjecture is true then this provides strong evidence for the existence of an ultimate version of Gödel's constructible universe L. Whether or not this "ultimate" L exists is now arguably the central (...) issue for the Inner Model Program. (shrink)

`Folk Psychology' - our everyday talk of beliefs, desires and mental events - has long been compared with the technical language of `Cognitive Science'. Does folk psychology provide a correct account of the mental causes of our behaviour, or must our everyday terms ultimately be replaced by a language developed from computational models and neurobiology? This broad-ranging book addresses these questions, which lie at the heart of psychology and philosophy. Providing a critical overview of the key literature in the field, (...) including the seminal work of Fodor and Churchland, the author explores the classic `Frame Problem' and assesses the future prospects of cognitive science. The scope of the frame problem, touching on connec. (shrink)

Modal logics are studied in their algebraic disguise of varieties of so-called modal algebras. This enables us to apply strong results of a universal algebraic nature, notably those obtained by B. Jonsson. It is shown that the degree of incompleteness with respect to Kripke semantics of any modal logic containing the axiom □ p → p or containing an axiom of the form $\square^mp \leftrightarrow\square^{m + 1}p$ for some natural number m is 2 ℵ 0 . Furthermore, we show that (...) there exists an immediate predecessor of classical logic (axiomatized by $p \leftrightarrow \square p$ ) which is not characterized by any finite algebra. The existence of modal logics having 2 ℵ 0 immediate predecessors is established. In contrast with these results we prove that the lattice of extensions of S4 behaves much better: a logic extending S4 is characterized by a finite algebra iff it has finitely many extensions and any such logic has only finitely many immediate predecessors, all of which are characterized by a finite algebra. (shrink)

We investigate large cardinal axioms beyond the level of ω-huge in context of the universality of the suitable extender models of [Suitable Extender Models I, J. Math. Log.10 101–339]. We show that there is an analog of ADℝ at the level of ω-huge, more precisely the construction of the minimum model of ADℝ generalizes to the level of Vλ+1. This allows us to formulate the indicated generalization of ADℝ and then to prove that if the axiom holds in V at (...) a proper class of λ then in every suitable extender model, the axiom holds at a proper class of λ. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

We study modal logics in the setting of varieties of modal algebras. Any variety of modal algebras generated by a finite algebra — such, a variety is called tabular — has only finitely many subvarieties, i.e. is of finite height. The converse does not hold in general. It is shown that the converse does hold in the lattice of varieties of K4-algebras. Hence the lower part of this lattice consists of tabular varieties only. We proceed to show that there is (...) a continuum of pretabular varieties of K4-algebras — those are the non-tabular varieties all of whose proper subvarieties are tabular — in contrast with Maksimova's result that there are only five pretabular varieties of S4-algebras. (shrink)

Skinner has assigned the persistence of cognitive explanations to the literature of freedom and dignity. This view is challenged especially as it applies to behavioral scientists. It is argued that cognitive explanations persist because current behaviorism does not challenge cognitive epistomology; because behavior analysts have failed to provide research evidence at the level of human behavior, and finally because a science of behavior based solely on operant principles is necessarily incomplete. The implications of these problems for behavior analysis are addressed.

In recent years, academics and educators have begun to use software mapping tools for a number of education-related purposes. Typically, the tools are used to help impart critical and analytical skills to students, to enable students to see relationships between concepts, and also as a method of assessment. The common feature of all these tools is the use of diagrammatic relationships of various kinds in preference to written or verbal descriptions. Pictures and structured diagrams are thought to be more comprehensible (...) than just words, and a clearer way to illustrate understanding of complex topics. Variants of these tools are available under different names: “concept mapping”, “mind mapping” and “argument mapping”. Sometimes these terms are used synonymously. However, as this paper will demonstrate, there are clear differences in each of these mapping tools. This paper offers an outline of the various types of tool available and their advantages and disadvantages. It argues that the choice of mapping tool largely depends on the purpose or aim for which the tool is used and that the tools may well be converging to offer educators as yet unrealised and potentially complementary functions. (shrink)

The Knowability Paradox purports to show that the controversial but not patently absurd hypothesis that all truths are knowable entails the implausible conclusion that all truths are known. The notoriety of this argument owes to the negative light it appears to cast on the view that there can be no verification-transcendent truths. We argue that it is overly simplistic to formalize the views of contemporary verificationists like Dummett, Prawitz or Martin-Löf using the sort of propositional modal operators which are employed (...) in the original derivation of the Paradox. Instead we propose that the central tenet of verificationism is most accurately formulated as follows: if φ is true, then there exists a proof of φ Building on the work of Artemov (Bull Symb Log 7(1): 1-36, 2001), a system of explicit modal logic with proof quantifiers is introduced to reason about such statements. When the original reasoning of the Paradox is developed in this setting, we reach not a contradiction, but rather the conclusion that there must exist non-constructed proofs. This outcome is evaluated relative to the controversy between Dummett and Prawitz about proof existence and bivalence. (shrink)

Computationalism holds that our grasp of notions like ‘computable function’ can be used to account for our putative ability to refer to the standard model of arithmetic. Tennenbaum's Theorem has been repeatedly invoked in service of this claim. I will argue that not only do the relevant class of arguments fail, but that the result itself is most naturally understood as having the opposite of a reference-fixing effect — i.e., rather than securing the determinacy of number-theoretic reference, Tennenbaum's Theorem points (...) towards a sense in which portions of our computational vocabulary should be regarded as model-relative. (shrink)

The notion of an algebraic semantics of a deductive system was proposed in [3], and a preliminary study was begun. The focus of [3] was the definition and investigation of algebraizable deductive systems, i.e., the deductive systems that possess an equivalent algebraic semantics. The present paper explores the more general property of possessing an algebraic semantics. While a deductive system can have at most one equivalent algebraic semantics, it may have numerous different algebraic semantics. All of these give rise to (...) an algebraic completeness theorem for the deductive system, but their algebraic properties, unlike those of equivalent algebraic semantics, need not reflect the metalogical properties of the deductive system. Many deductive systems that don't have an equivalent algebraic semantics do possess an algebraic semantics; examples of these phenomena are provided. It is shown that all extensions of a deductive system that possesses an algebraic semantics themselves possess an algebraic semantics. Necessary conditions for the existence of an algebraic semantics are given, and an example of a protoalgebraic deductive system that does not have an algebraic semantics is provided. The mono-unary deductive systems possessing an algebraic semantics are characterized. Finally, weak conditions on a deductive system are formulated that guarantee the existence of an algebraic semantics. These conditions are used to show that various classes of non-algebraizable deductive systems of modal logic, relevance logic and linear logic do possess an algebraic semantics. (shrink)

Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy by excellent philosophers up to World War II. This book provides a selective, critical history of the collaboration between logic and philosophy during this period. After World War II, (...) mathematical logic became a recognized subdiscipline in mathematics departments, and consequently but unfortunately philosophers have lost touch with its monuments. This book aims to make four of them more accessible to philosophers, making available the tools necessary for modern scholars of philosophy to renew a productive dialogue between logic and philosophy. (shrink)

This paper investigates connectionism's potential to solve the frame problem. The frame problem arises in the context of modelling the human ability to see the relevant consequences of events in a situation. It has been claimed to be unsolvable for classical cognitive science, but easily manageable for connectionism. We will focus on a representational approach to the frame problem which advocates the use of intrinsic representations. We argue that although connectionism's distributed representations may look promising from this perspective, doubts can (...) be raised about the potential of distributed representations to allow large amounts of complexly structured information to be adequately encoded and processed. It is questionable whether connectionist models that are claimed to effectively represent structured information can be scaled up to a realistic extent. We conclude that the frame problem provides a difficulty to connectionism that is no less serious than the obstacle it constitutes for classical cognitive science. (shrink)

The companion piece to this article, “Situating Moral Justification,” challenges the idea that moral epistemology's mission is to establish a single, all‐purpose reasoning strategy for moral justification because no reasoning practice can be expected to deliver authoritative moral conclusions in all social contexts. The present article argues that rethinking the mission of moral epistemology requires rethinking its method as well. Philosophers cannot learn which reasoning practices are suitable to use in particular contexts exclusively by exploring logical relations among concepts. Instead, (...) in order to understand which reasoning practices are capable of justifying moral claims in different types of contexts, we need to study empirically the relationships between reasoning practices and the contexts in which they are used. The article proposes that philosophers investigate case studies of real‐world moral disputes in which people lack shared cultural assumptions and/or are unequal in social power. It motivates and explains the proposed case study method and illustrates the philosophical value of this method through a case study. (shrink)

Let S denote the variety of Sugihara algebras. We prove that the lattice (K) of subquasivarieties of a given quasivariety K S is finite if and only if K is generated by a finite set of finite algebras. This settles a conjecture by Tokarz [6]. We also show that the lattice (S) is not modular.

The last section of “Lecture at Zilsel’s” [9, §4] contains an interesting but quite condensed discussion of Gentzen’s first version of his consistency proof for P A [8], reformulating it as what has come to be called the no-counterexample interpretation. I will describe Gentzen’s result (in game-theoretic terms), fill in the details (with some corrections) of Godel's reformulation, and discuss the relation between the two proofs.

There are some puzzles about G¨ odel’s published and unpublished remarks concerning finitism that have led some commentators to believe that his conception of it was unstable, that he oscillated back and forth between different accounts of it. I want to discuss these puzzles and argue that, on the contrary, G¨ odel’s writings represent a smooth evolution, with just one rather small double-reversal, of his view of finitism. He used the term “finit” (in German) or “finitary” or “finitistic” primarily to (...) refer to Hilbert’s conception of finitary mathematics. On two occasions (only, as far as I know), the lecture notes for his lecture at Zilsel’s [G¨ odel, 1938a] and the lecture notes for a lecture at Yale [G¨ odel, *1941], he used it in a way that he knew—in the second case, explicitly—went beyond what Hilbert meant. Early in his career, he believed that finitism (in Hilbert’s sense) is openended, in the sense that no correct formal system can be known to formalize all finitist proofs and, in particular, all possible finitist proofs of consistency of first-order number theory, P A; but starting in the Dialectica paper.. (shrink)

AT PHAEDO 96A-C Plato portrays Socrates as describing his past study of "the kind of wisdom known as περὶ φυσέως ἱστορία." At 96c-97b, Socrates says that this study led him to realize that he had an inadequate understanding of certain basic concepts which it involved. In consequence, he says at 97b, he abandoned this method and turned to a method of his own. But at this point in the dialogue, instead of proceeding immediately to describe his method, Plato has him (...) interjecting a complaint concerning Anaxagoras and his view that everything should be explained in terms of Mind. His complaint is that Mind would order things in the best possible way and that, therefore, an account of things in terms of Mind would amount to showing that they are ordered in the best possible way. But Anaxagoras did not show this and, instead, offered other kinds of explanations of the various phenomena. Socrates is not just criticizing Anaxagoras here for not doing what he set out to do; he makes it clear, for example at 99b-c, that he believes that the best kind of explanation of the phenomena would be to show that they are ordered in the best possible way. But he was unable to discover an explanation of this kind, either for himself or from others, and so turned to a method which he calls "second best". The actual description of this method is contained in two passages, 99e5-100a7 and 101d5-e1. Between these passages, Socrates invokes the doctrine of Forms and, in particular, the formula. (shrink)

Brindley proposed that we initially generate movements , under higher cerebral control. As the movement is practiced, the cerebellum learns to link within itself the context in which the movement is made to the lower level movement generators. Marr and Albus proposed that the linkage is established by a special input from the inferior olive, which plays upon an input-output element within the cerebellum during the period of the learning. When the linkage is complete, the occurrence of the context (represented (...) by a certain input to the cerebellum) will trigger (through the cerebellum) the appropriate motor response. The movement is distinguished from the conscious movement by its now being automatic, rapid, and stereotyped. The idea is still controversial, but has been supported by a variety of animal studies and, as reviewed here, is consistent with the results of a number of human PET and ablation studies. I have added to the idea of context-response linkage what I think is another important variable: novel combinations of downstream elements. With regard to the motor system and the muscles, this could explain how varied combinations of muscles may become active in precise time-amplitude specifications so as to produce coordinated movements appropriate to specific contexts. In this target article, I have further extended this idea to the premotor parts of the brain and their role in cognition. These areas receive influences from the cerebellum; they are active both in planning movements that are to be executed and in thinking about movements that are not to be executed. From recent evidence, the cerebellar output extends even to what has been characterized as the ultimate frontal planning area, the cortex, area 46. The cerebellum thus may be involved in context-response linkage, and response combination even at these higher levels. The implication would be that, through practice, an experiential context would automatically evoke a certain mental action plan. The plan would be in the realm of thought, and could lead to execution. The specific cerebellar contribution would be one of the context linkage and the shaping of the response, through trial and error learning. The prefrontal and premotor areas could still plan without the help of the cerebellum, but not so automatically, rapidly, stereotypically, so precisely linked to context, or so free of error. Nor would their activities improve optimally with mental practice. (shrink)

This paper proposes an ecological approach to the perception and interpretation of signs. The theory draws upon the ecological approach of James Gibson . It is proposed that cultural and natural perception can both be explained in terms of the direct pick-up of structured information and the Gibsonian concept of affordances without having to invoke a sharp distinction between direct and indirect perception. The application of the theory is exemplified through attention to language and to the visual and audio arts.

By arguing that his use of representations at the core of Durkheim's sociological thought, this book makes a unique contribution to Durkheimian studies which have recently been dominated by postivist and functionalist interpretaions, and reveals a thinker very much in tune with contemporary developments in philosophy, linguistics and sociology.

Even lawyers who obey the law often seem to act unethically--interfering with the discovery of truth, subverting justice, and inflicting harm on innocent people. Standard arguments within legal ethics attempt to show why it is permissible to do something as a lawyer that it would be wrong to do as an ordinary person. But in the view of most critics these arguments fail to turn wrongs into rights. Even many lawyers think legal ethics is flawed because it does not accurately (...) describe the considerable moral value of their work. In Lawyers and Fidelity to Law, Bradley Wendel introduces a new conception of legal ethics that addresses the concerns of lawyers and their critics alike.Wendel proposes an ethics grounded on the political value of law as a collective achievement that settles intractable conflicts, allowing people who disagree profoundly to live together in a peaceful, stable society. Lawyers must be loyal and competent client representatives, Wendel argues, but these obligations must always be exercised within the law that constitutes their own roles and confers rights and duties upon their clients. Lawyers act unethically when they treat the law as an inconvenient obstacle to be worked around and when they twist and distort it to help their clients do what they are not legally entitled to do. Lawyers and Fidelity to Law challenges lawyers and their critics to reconsider the nature and value of ethical representation. (shrink)

This article explores the relationship between Roman school texts and the socialization of the student into an elite man. I argue that composition and declamation communicated social values; in fact, the rhetorical education of the late republic and the empire was a process of socialization that produced a definite subjectivity in its elite participants. I treat two genres of Roman school texts: the expansions on a set theme known as declamation and the bilingual, Greek and Latin, writing exercises known as (...) the colloquia amid the collections of hermeneumata. This article is more broadly concerned with the attitudes toward language use that are learned along with specific literacy skills. Habits of reading and writing and speaking are learned in scenes and contexts that contribute to concepts of the self and more widely of gender and social roles. The encounters and verbal interactions recurrently plot a deviation from violence or a return to civil and familial order through the proper verbal display of the elite speaker. The student speaker's assumption of roles, his training in fictio personae, is a strong training in memory and imagination-pretending to be someone else, pretending to talk like someone else, or pretending to talk on behalf of someone else. That someone else is most important as the schoolboy becomes the voice of or for prostitutes, the raped, slaves, freedmen, women. His was not a neutral ventriloquism in the styles of Latin but a training in the master's mode toward the ready conviction that the speaker can and must speak for others, his subordinates. Roman rhetorical education was a process of persona building, shaping the schoolboy in his future role while excluding others from the very right to become speaking subjects. (shrink)

J. Wackernagel and E. Löfstedt have both drawn attention to Pindar's ‘Neigung, das Futurum zu setzen bei Verben, die eine jetzt vorhandene, aber auf zukünftiges Tun abzielende Willensrichtung ausdrücken’. But they regarded this as a purely grammatical phenomenon, and did not note that the Pindaric use is practically limited to statements of the type, ‘I shall sing, glorify, testify, etc.’. It was E. Bundy who first drew attention to the conventional nature of these futures and so ended years of misunderstanding. (...) So, for example, Wilamowitz considered that P. 1.75 represented an optative with while Slotty, following Breyer, thought that N. 9. 10 was an aorist subjunctive ‘auf Grund des pindarischen Sprachgebrauches’! Postgate, following Gildersleeve, thought that 0. 8. 57 represented though the contrary would appear to be more true, cf. 0. 13. 11: and also Hoekstra sees in the future ‘den Nebenbegriff des Konnens’. (shrink)

The veiled recession frame has served several times in the literature to provide examples of modal logics failing to have certain desirable properties. Makinson [4] was the first to use it in his presentation of a modal logic without the finite model property. Thomason [5] constructed a (rather complicated) logic whose Kripke frames have an accessibility relation which is reflexive and transitive, but which is satisfied by the (non-transitive) veiled recession frame, and hence incomplete. In Van Benthem [2] the frame (...) was an essential tool to find simple examples of incomplete logics, axiomatized by a formula in two proposition letters of degree 2, or by a formula in one proposition letter of degree 4 (the degree of a modal formula is the maximal number of nested occurrences of the necessity operator in ). In [3] we showed that the modal logic determined by the veiled recession frame is incomplete, and besides that, is an immediate predecessor of classical logic (or, more precisely, the modal logic axiomatized by the formula pp), and hence is a logic, maximal among the incomplete ones. Considering the importance of the modal logic determined by the veiled recession frame, it seems worthwhile to ask for an axiomatization, and in particular, to answer the question if it is finitely axiomatizable. In the present paper we find a finite axiomatization of the logic, and in fact, a rather simple one consisting of formulas in at most two proposition letters and of degree at most three. (shrink)

This book investigates the architecture of the language faculty by considering what the properties of language reveal about the mental abilities and processes involved in language acquisition. The language faculty, the author argues, must be able not only to accommodate what is general, exceptionless, and universal in language, but must also be capable of dealing with what is irregular, exceptional, and idiosyncratic. In Syntactic Nuts Peter Culicover shows that this is true not only of the lexicon, but for syntax. Marginal (...) and exceptional cases, where there is no straightforward form-meaning correspondence, are dealt with by the language faculty easily and precisely as the general cases. In considering how and why this should be the author argues against the prevailing trend in generative grammar, which takes the learner as either incorporating maximally global generalisations as part of its innate capacity for language, or projecting global generalisations from a very limited input on the basis of innate mechanisms. He suggests that the learning mechanism does not generalize significantly beyond the evidence presented to it, and further that it seeks to form generalizations based on all and only the evidence presented to it. Syntactic Nuts makes a fundamental contribution to generative grammar and syntactic theory. It situates syntactic theory within cognitive science in a novel way. It contributes to an alternative, and yet in many ways traditional, perspective on the manner in which knowledge is represented and processed in the mind. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

I agree with Mele that self-deception is not intentional deception; but I do believe that self-deception involves intentional biasing, primarily for two reasons: (1) There is a Bayesian model of self-deception that explains why the biasing is rational. (2) It is implausible that the observed behavior of self- deceivers could be generated by Mele's “blind” mechanisms.

Humans do two types of actions, polimorphic actions and mimeomorphic actions. The ability to carry out polimorphic actions cannot be mastered outside of socialization. Mimeomorphic actions, however, can be learned in other ways; sometimes, they can be learned away from the context of practice. Polimorphic actions cannot be mimicked by machines, but some mimeomorphic actions can. Other mimeomorphic actions are too complex to mechanize. Actions that cannot be mechanized because they are physically complicated should not be confused with actions that (...) cannot be mechanized because socialization is needed to master them. The analysis has implications for recent debates concerning the differences and similarities between humans and machines. The implica tion of the analysis is that much more can be understood about the relationship between humans and machines if the difference is treated as being a consequence of the unique properties of human societies. In this article, the analysis is applied to cardiac catheteriza tion, pacemaker implantation, simulation of bodies, and work in a medical "SkillsLab.". (shrink)

First put forth in June 2005, the altered nuclear transfer-oocyte assisted reprogramming (ANT-OAR) proposal has been promoted as an ethically-acceptable alternative to the embryo-destructive methods now used to obtain embryonic stem cells. According to its proponents, the goal of ANT-OAR is to use the cloning process to create a pluripotent stem cell. This would be achieved through overexpression of the transcription factor Nanog (or a hypothetical substitute) both in the enucleated egg cell and in the somatic cell prior to transfer (...) of its nucleus. Although the ethical acceptability of ANT-OAR has been publicly debated, its scientific feasibility has not. This paper aims to help rectify this situation. It argues that ANT-OAR, as currently conceived, cannot realistically work. It presents evidence from the scientific literature showing that Nanog cannot single-handedly establish pluripotency in cells, but rather works together with a network of other transcription factors to maintain pluripotency. It argues that ANT-OAR is based on a flawed understanding of stem cell biology, and emphasizes that, in this debate about embryonic stem cells, scientists must strive to accurately and realistically assess the feasibility of the embryo research strategies they propose. (shrink)

This paper details how ghost hunting, as a set of learning activities, can be used to enhance critical thinking and philosophy of science classes. We describe in some detail our own work with ghost hunting, and reflect on both intended and unintended consequences of this pedagogical choice. This choice was partly motivated by students’ lack of familiarity with science and philosophic questions about it. We offer reflections on our three different implementations of the ghost hunting activities. In addition, we discuss (...) the practical nuances of implementing these activities, as well the relation of ghost hunting to our course content, including informal fallacies and some models for scientific inference. We conclude that employing ghost hunting along-side traditional activities and content of critical thinking and philosophy of science offers a number of benefits, including being fun, increasing student attendance, enhancing student learning, and providing a platform for campus wide dialogues about philosophy. (shrink)

The authors' novel approach to some interesting mathematical concepts - not normally taught in other courses - places them in a historical and philosophical setting. Although primarily intended for mathematics undergraduates, the book will also appeal to students in the sciences, humanities and education with a strong interest in this subject. The first part proceeds from about 1800 BC to 1800 AD, discussing, for example, the Renaissance method for solving cubic and quartic equations and providing rigorous elementary proof that certain (...) geometrical problems posed by the ancient Greeks cannot be solved by ruler and compass alone. The second part presents some fundamental topics of interest from the past two centuries, including proof of G del's incompleteness theorem, together with a discussion of its implications. (shrink)

The rhetoric of 'needs' has been used to legitimate all major turns in UK health policy since 1936. This study identifies the ethical, policy and technical issues arising from the concept of needs. In the first part a theory of needs is developed, which takes into account both the philosophical traditions and the practical problems arising in daily health care. In a second part, health systems throughout the world are described and compared, addressing ethical as well as economical questions. Its (...) interdisciplinary approach will make The Need for Healthcare important reading not only for those interested in or employed in the health care sector but also for students of philosophy. (shrink)

The images of human suffering from New Orleans in the aftermath of Hurricane Katrina remain seared in our nation's collective memory. More than 8 years on, the city and its African-American population still have not recovered fully. This reality highlights an important truth: the disturbances that accompany climate change will first and foremost affect minority communities, many of whom are economically disadvantaged. This paper: (1) describes how Hurricane Katrina, an example of the type of natural disaster that will become more (...) prevalent with intensifying climate change, has impacted the black community of New Orleans; (2) explores the notion that African Americans, in the midst of racial oppression, have developed a unique and powerful brand of environmental thought that has much to contribute to mainstream environmentalism; and (3) argues that the voice of the black community, which has a vested interest in climate outcomes, is critically needed in today's climate debate. (shrink)

In this first lecture Quine argues for a physicalistic monism and examines how mentalistic discourse can be located in that framework. He defends the following standard: a mental event qualifies as physically genuine if it is specifiable strictly by physiological description, presumably neurological, without any appeal to mentalistic terms. He further characterizes the basic mentalistic level that his view can accept: the learning process involving perception, expectation, action and pleasure, which all have important neural analogues. It is from this starting (...) point that he further speculates how it is possible to move from such perceptual events to our knowledge of nature. Lastly, he reflects more generally on what epistemology looks like when it is placed within this physicalist framework with its focus on language. (shrink)

This article reflects on Nietzsche's striking phrase: “A Roman Caesar with the soul of Christ.” It outlines different senses of will to power. It argues that, given Nietzsche's understanding of will to power, there is something impossible about his coupling of Caesar and Christ. Christ would have to cease to be Christ to conform to Nietzsche'sideal. Nietzsche's views are related to what the author calls erotic sovereignty and agapeic service. The significances of gift, love of neighbour, the issue of spiritual (...) superiority are outlined. Nietzsche's assumption of the name Anti-Christ is connected withthe third temptation of Christ in the desert. The way Nietzsche resolves, in his own favor, the issue of spiritual superiority shows his spiritual inferiority. (shrink)

In Georges Bataille’s view, the Hegelian interpretation of kenotic sacrifice as passage from Spirit to the Speculative Idea effaces the necessarily representational character of sacrifice and the irreducible non-presence of death. But Hegel identifies these aspects of death in the fragments of the 1800 System. In sacrificial acts, subjectivity represents its disappearance via the sacrificed other, and hence is negated and conserved. Sacrifice thus provides the representational model of sublation pursued in the Phenomenology as a propaedeutic to Science. Bataille’s critique (...) clarifies the fragments of the 1800 System, contextualizing Hegel’s rehabilitation of kenotic sacrifice in the Phenomenology. Bataille’s poetics parodies Hegelian kenosis via repetition of material difference, enacting an ecstatic temporality which Hegel perhaps suppresses as the condition of his system. Finally—if Bataille is correct in his assessment—the system would be subjected to a reversal, with radical implications for the philosophy of religion. (shrink)

Results of surveys in which pharmacy students and pharmacists responded to ethical dilemmas are discussed. Respondents indicated a high level of concern about patient welfare and patient rights in dilemmas involving conflicts with socio-economic issues, and with peers and physicians. Conflicts that might arise as the roles of pharmacists change and the health-care systems evolve are also discussed.

In this essay we discuss Tarski's work on what he calledthe methodology of the deductive sciences, or more briefly, borrowing the terminology of Hilbert,metamathematics, The clearest statement of Tarski's views on this subject can be found in his textbookIntroduction to logic[41m].1Here he describes the tasks of metamathematics as “the detailed analysis and critical evaluation of the fundamental principles that are applied in the construction of logic and mathematics”. He goes on to describe what these fundamental principles are: All the expressions (...) of the discipline under consideration must be defined in terms of a small group of primitive expressions that seem immediately understandable. Furthermore, only those statements of the discipline are accepted as valid that can be deduced by precisely defined and universally accepted means from a small set of axioms whose validity seems evident. The method of constructing a discipline in strict accordance with these principles is known as thedeductive method, and the disciplines constructed in this manner are calleddeductive systems. Since contemporary mathematical logic is one of those disciplines that are subject to these principles, it itself is a deductive science. Tarski then goes on to say:“The view has become more and more common that the deductive method is the only essential feature by means of which the mathematical disciplines can be distinguished from all other sciences; not only is every mathematical discipline a deductive theory, but also, conversely, every deductive theory is a mathematical discipline”.This identification of mathematics with the deductive sciences is in our view one of the distinctive aspects of Tarski's work. Another characteristic feature is his broad view of what constitutes the domain of metamathematical investigations. A clue to this aspect of his work can also be found in Chapter 6 ofIntroduction to logic. After a discussion of the notions of completeness and consistency, he remarks that the investigations concerning these topics were among the most important factors contributing to a considerable extension of the domain of methodological studies, and caused even a fundamental change in the whole character of the methodology of deductive sciences. (shrink)

In 267 the number of quaestors was increased from the established total of four . But how many were added, and what were their functions? The standard works agree that the new quaestors numbered four, and that they were stationed in four Italian towns, where they are usually supposed tohave performed administrative functions necessary to the Roman navy, and, in the case of the quaestor stationed at Ostia, functions necessary to Rome's grainsupply. These were the quaestores classici, or according to (...) others the quaestores Italici. A few historians have very reasonably gone on to interpret this event as an important stage in the tightening of Roman control in Italy, or as a deliberate step towards a large-scale navy and war against Carthage. (shrink)

Whatfactors determine the nature and pace of technological development? The literature on social construction of technology and actor-network theory suggests that assembling "coalitions" of support and conveying a certain "rhetoric" of technology are important to moving technology forward They are especially crucial strategies for advocates of large-scale, government-supported technologies. These strategies are illuminated by cases of U.S. space satellite development: meteorological satellites, land satellites, and the Earth Observation System.

The criterion of "arguability" has tended to steer Critical Inquiry away from the kind of pluralism which defines itself as neutral, tolerant eclecticism toward a position which I would call "dialectical pluralism." This sort of pluralism is not content with mere diversity but insists on pushing divergent theories and practices toward confrontation and dialogue. Its aim is not the mere preservation or proliferation of variety but the weeding out of error, the elimination of trivial or marginal contentions, and the clarification (...) of fundamental and irreducible differences. The goal of dialectical pluralism is not liberal toleration of opposing views from a neutral ground but transformation, conversion, or, at least, the kind of communication which clarifies exactly what is at stake in any critical conflict. A good dramatization of Critical Inquiry's editorial ideal would be the dialogue of the devil and angel in Blake's Marriage of Heaven and Hell, an exchange in which each contestant enters into and criticizes the metaphysics of his contrary and which ends happily with the angel transformed into a devil. (shrink)

In 385B-C of the Cratylus, Plato appears to be formulating a version of the correspondence theory of truth, in such a way that it applies not only to discourse, but to individual names as well. However commentators who have remarked on this passage, either take exception to the reasoning, or find it necessary to interpret the conclusion with qualifications that Plato never could have intended. Richard Robinson, for example, on p.328 of “A Criticism of Plato’s Cratylus”, sums up the argument (...) thus:... since statements have a truthvalue, their parts, including names, must have a truthvalue too. Therefore names are true or false.and criticises it for involving a fallacy of division. Lorenz and Mittelstrasse, by contrast, construe the argument as validly proceeding from the true-false distinction of sentences to a corresponding true-false distinction of their parts. (shrink)